Все словари русского языка: Толковый словарь, Словарь синонимов, Словарь антонимов, Энциклопедический словарь, Академический словарь, Словарь существительных, Поговорки, Словарь русского арго, Орфографический словарь, Словарь ударений, Трудности произношения и ударения, Формы слов, Синонимы, Тезаурус русской деловой лексики, Морфемно-орфографический словарь, Этимология, Этимологический словарь, Грамматический словарь, Идеография, Пословицы и поговорки, Этимологический словарь русского языка.

исчисление высказываний

Энциклопедический словарь

Исчисле́ние выска́зываний - раздел математической логики, аксиоматическое построение логики высказываний.

* * *

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ - ИСЧИСЛЕ́НИЕ ВЫСКА́ЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний (см. ЛОГИКА ВЫСКАЗЫВАНИЙ).

Большой энциклопедический словарь

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ - раздел математической логики, аксиоматическое построение логики высказываний.

Полезные сервисы